Princesas, sufragistas, islâmicas, laicas, onguistas, escritoras - a luta feminista no Irã: entrevista com Azadeh Kian-Thiébaut

Azadeh Farzan

My research fits in the areas of verification, formal methods, programming languages, and software engineering. The focus of my research is on the study of programming and reasoning methods which lead to reliable concurrent software. Towards this goal, I have developed techniques for concurrent software analysis which draw on the true concurrency models. With the establishment of the multicore ...

Estudio experimental de la efectividad de la entrevista abierta frente a la entrevista independiente de contexto

Resumen. OBJETIVO: Estudiar la efectividad relativa de las técnicas de entrevista abierta y entrevista independiente de contexto en la identificación de requisitos para sistemas software. MÉTODO: Experimento controlado ensayando dos factores: “tipo de entrevista” (abierta e independiente de contexto) y “tipo de problema” (identificación de requisitos para dos sistemas software distintos). Debid...

Belief Revision via Lamar kian Evolution 1 Belief Revision via Lamar kian

Multi-agent Logi Aided Lamar kian Learning

No Loitering: Exploiting Lingering Vulnerabilities in Default COM Objects

The Component Object Model (COM) facilitates the creation of software plugins for applications running in Microsoft Windows. ActiveX is a common instantiation of this infrastructure, and uses COM to create plugins for Internet Explorer. As vulnerabilities in COM objects included in the installation of Windows have been found, Microsoft has responded by blacklisting their use by specific applica...